Algorithmic approximations
نویسندگان
چکیده
منابع مشابه
A Computable Measure of Algorithmic Probability by Finite Approximations
We study formal properties of a Levin-inspired measure m calculated from the output distribution of small Turing machines. We introduce and justify finite approximations mk that have already been used in applications as an alternative to lossless compression algorithms for approximating algorithmic (Kolmogorov-Chaitin) complexity. We provide proofs of the relevant properties of both m and mk an...
متن کاملAlgorithmic verification of approximations to complete Lyapunov functions
In [3] Conley showed that the state-space of a dynamical system can be decomposed into a gradient-like part and a chain-recurrent part, and that this decomposition is characterized by a so-called complete Lyapunov function for the system. In [14] Kalies, Mischaikow, and VanderVorst proposed a combinatorial method to compute discrete approximations to such complete Lyapunov functions. Their appr...
متن کاملProbabilistic Approximations of Metric Spaces and Its Algorithmic Applications
The goal of approximating metric spaces by more simple metric spaces has led to the notion of graph spanners PU89, PS89, ADDJS90, CDNS92] and to low-distortion embeddings in low-dimensional spaces LLR94], having many algorithmic applications. This paper provides a novel technique for the analysis of randomized algorithms for optimization problems on metric spaces, by relating the randomized per...
متن کاملExponential Models: Approximations for Probabilities
Welch & Peers (1963) used a root-information prior to obtain posterior probabilities for a scalar parameter exponential model and showed that these Bayes probabilities had the confidence property to second order asymptotically. An important undercurrent of this indicates that the constant information reparameterization provides location model structure, for which the confidence property ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1971
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(71)80008-9